Generation of a Minimal STG from an Implicit Cover
نویسندگان
چکیده
This report describes how to produce a state transition table (or state transition graph) of an FSM reduced by using implicit minimization algorithms. The cases of ISFSM’s (minimized implicitly by the program ISM) and PNDFSM’s (minimized implicitly by the program PND REDUCE) are considered. A technique to reduce the size of the FSM table description is presented.
منابع مشابه
Cohen-Macaulay $r$-partite graphs with minimal clique cover
In this paper, we give some necessary conditions for an $r$-partite graph such that the edge ring of the graph is Cohen-Macaulay. It is proved that if there exists a cover of an $r$-partite Cohen-Macaulay graph by disjoint cliques of size $r$, then such a cover is unique.
متن کاملOn the oriented perfect path double cover conjecture
An oriented perfect path double cover (OPPDC) of a graph $G$ is a collection of directed paths in the symmetric orientation $G_s$ of $G$ such that each arc of $G_s$ lies in exactly one of the paths and each vertex of $G$ appears just once as a beginning and just once as an end of a path. Maxov{'a} and Ne{v{s}}et{v{r}}il (Discrete Math. 276 (2004) 287-294) conjectured that ...
متن کاملTowards a fronto-temporal neural network for the decoding of angry vocal expressions
Vocal expressions commonly elicit activity in superior temporal and inferior frontal cortices, indicating a distributed network to decode vocally expressed emotions. We examined the involvement of this fronto-temporal network for the decoding of angry voices during attention towards (explicit attention) or away from emotional cues in voices (implicit attention) based on a reanalysis of previous...
متن کاملSpecific brain networks during explicit and implicit decoding of emotional prosody.
To better define the underlying brain network for the decoding of emotional prosody, we recorded high-resolution brain scans during an implicit and explicit decoding task of angry and neutral prosody. Several subregions in the right superior temporal gyrus (STG) and bilateral in the inferior frontal gyrus (IFG) were sensitive to emotional prosody. Implicit processing of emotional prosody engage...
متن کاملاجتماعات گیاهی پارک ملی کلاه قاضی
Plant communities of the Kolah-Ghazi National Park have been studied. The park with a wide diversity of fauna and flora species is located 36 Km south of Isfahan. 214 plant species were collected for the purposes of this study. Plant communities of the park are of an aridland vegetation type. Minimal areas of the plant communities were determined using nested plots technique. After studying the...
متن کامل